完備性 Completeness
任意の２つの選択肢x,yについて、
$ x \succsim y か$ y \succsim x のうち少なくとも一方は成立する
どんな2つの選択肢を与えられても比較可能 comparable